NOTE ON CLEBSCH'S THEOREM REGARDING THE SECOND SET OF JACOBIANS DERIVED FROMn+ 1 HOMOGENEOUS INTEGRAL FUNCTIONS OFnVARIABLES

Note on the Homogeneous Set Sandwich Problem

A homogeneous set is a non-trivial module of a graph, i.e., a non-unitary, proper subset H of a graph’s vertices such that all vertices in H have the same neighbors outside H . Given two graphs G1(V ,E1), G2(V ,E2), the Homogeneous Set Sandwich Problem asks whether there exists a sandwich graph GS(V,ES), E1 ⊆ES ⊆E2, which has a homogeneous set. Recently, Tang et al. [Inform. Process. Lett. 77 (...

the impact of training on second language writing assessment: a case of raters’ biasedness

چکیده هدف اول این تحقیق بررسی تأثیر آموزش مصحح بر آموزش گیرندگان براساس پایایی نمره های آنها در پنج بخش شامل محتوا ، سازمان ، لغت ، زبان و مکانیک بود. هدف دوم این بود که بدانیم آیا تفاوتهای بین آموزشی گیرندگان زن و مرد در پایایی نمرات آنها وجود دارد. برای بررسی این موارد ، ما 90 دانشجو در سطح میانه (متوسط) که از طریق تست تعیین سطح شده بودند انتخاب شدند. بعد از آنها خواستیم که درباره دو موضوع ا...

Theory of block-pulse functions in numerical solution of Fredholm integral equations of the second ‎kind‎

Recently, the block-pulse functions (BPFs) are used in solving electromagnetic scattering problem, which are modeled as linear Fredholm integral equations (FIEs) of the second kind. But the theoretical aspect of this method has not fully investigated yet. In this article, in addition to presenting a new approach for solving FIE of the second kind, the theory of both methods is investigated as a...

A Note on the Derivatives of Integral Functions

A Note on Interactive Theorem Proving with Theorem Continuation Functions

A simple technique for using theorem continuation functions interactively with HOL's sub-goal package is presented. An interesting aspect of the technique is that it hinges on the existence of assignable variables in ML. Suppose we wish to prove a /\ b ==> b /\ a using HOL's subgoal package 1]: 1 #g "a /\ b ==> b /\ a" ;; "a /\ b ==> b /\ a" The natural proof is to assume the antecedent a /\ b ...